Summarized Dimensions Revisited

نویسندگان

  • Holger Siegel
  • Axel Simon
چکیده

The task of summarizing memory regions becomes increasingly important in the analysis of data structures and the analysis of recursive functions. Calculating summaries of memory regions containing several abstract variables becomes quite subtle when using relational abstract domains. We address this challenge using two principal operations, fold and expand , that calculate such summaries for any numeric relational domain and argue optimality. We thereby generalize an earlier approach in the literature that was geared towards memory cells modelled by a single abstract variable.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Communication Strategies Revisited: Looking beyond Interactional and Psycholinguistic Perspectives

Second language (L2) communication strategies (CSs) have traditionally been dealt with through either interactional or psychological perspectives. However, this paper is a critical attempt to question the status of the particular kinds of psycholinguistic and interactional approaches that currently dominate the field of second language acquisition (SLA). In this way, it expands the significance...

متن کامل

Cobordism of involutions revisited, revisited

Boardman’s work [3,4] on Conner and Floyd’s five-halves conjecture looks remarkably contemporary in retrospect. This note reexamines some of that work from a perspective proposed recently by Greenlees and Kriz. 1. Unoriented involutions A large part of Boardman’s argument can be summarized as a commutative diagram 0 // N geo Z/2Z∗ // ⊕i≥0Ni(BO∗−i) ∂ //

متن کامل

The Self-dual Action of the Ashtekar Formalism Revisited

Different aspects of the self-dual (anti-self-dual) action of the Ashtekar canonical formalism are revisited. In particular, we study the equivalences and differences between the various versions of such an action. Our analysis may be useful for the development of Ashtekar formalism in eight dimensions. Pacs numbers: 04.60.-m, 04.65.+e, 11.15.-q, 11.30.Ly November, 2004 1 [email protected]

متن کامل

19 v 1 2 6 Se p 20 06 The causal hierarchy of spacetimes

The full causal ladder of spacetimes is constructed, and their updated main properties are developed. Old concepts and alternative definitions of each level of the ladder are revisited, with emphasis in minimum hypotheses. The implications of the recently solved " folk questions on smoothability " , and alternative proposals (as recent isocausality), are also summarized.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 288  شماره 

صفحات  -

تاریخ انتشار 2012